Buy Used and New Nils Jansen Books

Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings: 12288 (Lecture Notes in Computer Science, 12288)

by Nathalie Bertrand,Nils Jansen

ISBN 13: 9783030576271

Format: Paperback (311 pages)
Publisher: Springer
Published: 17 Aug 2020

Save for later

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday: 13560 (Lecture Notes in Computer Science, 13560)

by Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

ISBN 13: 9783031156281

Format: Paperback (594 pages)
Publisher: Springer
Published: 07 Sep 2022

Save for later